#	Este script me permitirá acotar la generacion extausiva de korat 
#durante 5 minutos.
#
# Este script debe estar dentro de la carpeta tree-list, de lo contrario korat no encontrará TreeList.class.
#!/bin/bash
cd bin/
java korat.Korat --serialize ../archivo --class tp.TreeList --args 7 &
PID=$!
#Tiempo de espera para matar korat.
sleep 300
kill $PID
exit
